if t1 then
    1
else if t2 then
    2
else
    3